Concurrent object oriented programming with Asynchronous References
نویسنده
چکیده
In the very next future, applications will have to be highly concurrent to get some speedup from the new trend of chip-multithreading processor architecture. But writing concurrent applications is provably more difficult than developing sequential ones. We define three objectives a concurrent programming model should target to be massively adopted by the developer community. We propose such a model for imperative object oriented languages based on an extension of the standard synchronous reference called Asynchronous Reference that naturally provides the Asynchronous Method Invocation paradigm. Our model, though simple, has many interesting side effect issues such as interand intra-object concurrency degree, asynchronous policy mapping, asynchronous policy sharing, non-determinism proportion and exception handling. Our proposition can be seen as a base brick on top of which many different concurrent frameworks can be built upon. The open-source Mandala framework includes a Java implementation of our proposition.
منابع مشابه
Asynchronous Exceptions in Concurrent Object-Oriented Programming
Exceptions in concurrent object-oriented languages with asynchronous call semantics may raise a serious problem in certain situations. Since separate calls are asynchronous it might happen that the context of the enclosing routine, from which the asynchronous call was launched, has been already left and hence any exception raised by the asynchronous call can not be handled anymore by the enclos...
متن کاملA sound and complete reasoning system for asynchronous communication with shared futures
Distributed and concurrent object-oriented systems are difficult to analyze due to the complexity of their concurrency, communication, and synchronization mechanisms. We consider the setting of concurrent objects communicating by asynchronous method calls. The future mechanism extends the traditional method call communication model by facilitating sharing of references to futures. By assigning ...
متن کاملObject - Oriented Concurrent Constraint Programming
1.1 Abstract Oz is a higher-order concurrent constraint programming system under development at DFKI. It combines ideas from logic and concurrent programming in a simple yet expressive language. From logic programming Oz inherits logic variables and logic data structures, which provide for a programming style where partial information about the values of variables is imposed concurrently and in...
متن کاملHLCL'98 to appear A Concurrent Object Calculus: Reduction and Typing
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calculus and with operators for synchronisation based on mutexes. Our syntax of terms is extremely expressive; in a precise sense it uni es notions of expression, process, store, thread, and con guration. We present a chemical-s...
متن کاملUsing Design Patterns and Frameworks to Develop Object-Oriented Communication Systems
Factory 19 Tactical Patterns Proxy { \Provide a surrogate or placeholder for another object to control access to it" Strategy { \De ne a family of algorithms, encapsulate each one, and make them interchangeable" Adapter { \Convert the interface of a class into another interface client expects" Singleton { \Ensure a class only has one instance and provide a global point of access to it" State { ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007